Integrated formal methods - 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004, proceedings
- Författare
- IFM 2004 . 2004 . Canterbury
- (Eerke A. Boiten, John Derrick, Graeme Smith (eds.).)
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2004 | , New York | XI, 540 sidor. |